Optimal. Leaf size=450 \[ \frac {2 (e+f x)^3}{3 a d}-\frac {i f (e+f x)^2 \text {ArcTan}\left (e^{c+d x}\right )}{a d^2}+\frac {i f^3 \text {ArcTan}(\sinh (c+d x))}{a d^4}-\frac {2 f (e+f x)^2 \log \left (1+e^{2 (c+d x)}\right )}{a d^2}+\frac {f^3 \log (\cosh (c+d x))}{a d^4}-\frac {f^2 (e+f x) \text {PolyLog}\left (2,-i e^{c+d x}\right )}{a d^3}+\frac {f^2 (e+f x) \text {PolyLog}\left (2,i e^{c+d x}\right )}{a d^3}-\frac {2 f^2 (e+f x) \text {PolyLog}\left (2,-e^{2 (c+d x)}\right )}{a d^3}+\frac {f^3 \text {PolyLog}\left (3,-i e^{c+d x}\right )}{a d^4}-\frac {f^3 \text {PolyLog}\left (3,i e^{c+d x}\right )}{a d^4}+\frac {f^3 \text {PolyLog}\left (3,-e^{2 (c+d x)}\right )}{a d^4}-\frac {i f^2 (e+f x) \text {sech}(c+d x)}{a d^3}+\frac {f (e+f x)^2 \text {sech}^2(c+d x)}{2 a d^2}+\frac {i (e+f x)^3 \text {sech}^3(c+d x)}{3 a d}-\frac {f^2 (e+f x) \tanh (c+d x)}{a d^3}+\frac {2 (e+f x)^3 \tanh (c+d x)}{3 a d}-\frac {i f (e+f x)^2 \text {sech}(c+d x) \tanh (c+d x)}{2 a d^2}+\frac {(e+f x)^3 \text {sech}^2(c+d x) \tanh (c+d x)}{3 a d} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.42, antiderivative size = 450, normalized size of antiderivative = 1.00, number of steps
used = 20, number of rules used = 12, integrand size = 31, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.387, Rules used = {5690, 4271,
4269, 3556, 3799, 2221, 2611, 2320, 6724, 5559, 3855, 4265} \begin {gather*} \frac {i f^3 \text {ArcTan}(\sinh (c+d x))}{a d^4}-\frac {i f (e+f x)^2 \text {ArcTan}\left (e^{c+d x}\right )}{a d^2}+\frac {f^3 \text {Li}_3\left (-i e^{c+d x}\right )}{a d^4}-\frac {f^3 \text {Li}_3\left (i e^{c+d x}\right )}{a d^4}+\frac {f^3 \text {Li}_3\left (-e^{2 (c+d x)}\right )}{a d^4}+\frac {f^3 \log (\cosh (c+d x))}{a d^4}-\frac {f^2 (e+f x) \text {Li}_2\left (-i e^{c+d x}\right )}{a d^3}+\frac {f^2 (e+f x) \text {Li}_2\left (i e^{c+d x}\right )}{a d^3}-\frac {2 f^2 (e+f x) \text {Li}_2\left (-e^{2 (c+d x)}\right )}{a d^3}-\frac {f^2 (e+f x) \tanh (c+d x)}{a d^3}-\frac {i f^2 (e+f x) \text {sech}(c+d x)}{a d^3}-\frac {2 f (e+f x)^2 \log \left (e^{2 (c+d x)}+1\right )}{a d^2}+\frac {f (e+f x)^2 \text {sech}^2(c+d x)}{2 a d^2}-\frac {i f (e+f x)^2 \tanh (c+d x) \text {sech}(c+d x)}{2 a d^2}+\frac {2 (e+f x)^3 \tanh (c+d x)}{3 a d}+\frac {i (e+f x)^3 \text {sech}^3(c+d x)}{3 a d}+\frac {(e+f x)^3 \tanh (c+d x) \text {sech}^2(c+d x)}{3 a d}+\frac {2 (e+f x)^3}{3 a d} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 2221
Rule 2320
Rule 2611
Rule 3556
Rule 3799
Rule 3855
Rule 4265
Rule 4269
Rule 4271
Rule 5559
Rule 5690
Rule 6724
Rubi steps
\begin {align*} \int \frac {(e+f x)^3 \text {sech}^2(c+d x)}{a+i a \sinh (c+d x)} \, dx &=-\frac {i \int (e+f x)^3 \text {sech}^3(c+d x) \tanh (c+d x) \, dx}{a}+\frac {\int (e+f x)^3 \text {sech}^4(c+d x) \, dx}{a}\\ &=\frac {f (e+f x)^2 \text {sech}^2(c+d x)}{2 a d^2}+\frac {i (e+f x)^3 \text {sech}^3(c+d x)}{3 a d}+\frac {(e+f x)^3 \text {sech}^2(c+d x) \tanh (c+d x)}{3 a d}+\frac {2 \int (e+f x)^3 \text {sech}^2(c+d x) \, dx}{3 a}-\frac {(i f) \int (e+f x)^2 \text {sech}^3(c+d x) \, dx}{a d}-\frac {f^2 \int (e+f x) \text {sech}^2(c+d x) \, dx}{a d^2}\\ &=-\frac {i f^2 (e+f x) \text {sech}(c+d x)}{a d^3}+\frac {f (e+f x)^2 \text {sech}^2(c+d x)}{2 a d^2}+\frac {i (e+f x)^3 \text {sech}^3(c+d x)}{3 a d}-\frac {f^2 (e+f x) \tanh (c+d x)}{a d^3}+\frac {2 (e+f x)^3 \tanh (c+d x)}{3 a d}-\frac {i f (e+f x)^2 \text {sech}(c+d x) \tanh (c+d x)}{2 a d^2}+\frac {(e+f x)^3 \text {sech}^2(c+d x) \tanh (c+d x)}{3 a d}-\frac {(i f) \int (e+f x)^2 \text {sech}(c+d x) \, dx}{2 a d}-\frac {(2 f) \int (e+f x)^2 \tanh (c+d x) \, dx}{a d}+\frac {\left (i f^3\right ) \int \text {sech}(c+d x) \, dx}{a d^3}+\frac {f^3 \int \tanh (c+d x) \, dx}{a d^3}\\ &=\frac {2 (e+f x)^3}{3 a d}-\frac {i f (e+f x)^2 \tan ^{-1}\left (e^{c+d x}\right )}{a d^2}+\frac {i f^3 \tan ^{-1}(\sinh (c+d x))}{a d^4}+\frac {f^3 \log (\cosh (c+d x))}{a d^4}-\frac {i f^2 (e+f x) \text {sech}(c+d x)}{a d^3}+\frac {f (e+f x)^2 \text {sech}^2(c+d x)}{2 a d^2}+\frac {i (e+f x)^3 \text {sech}^3(c+d x)}{3 a d}-\frac {f^2 (e+f x) \tanh (c+d x)}{a d^3}+\frac {2 (e+f x)^3 \tanh (c+d x)}{3 a d}-\frac {i f (e+f x)^2 \text {sech}(c+d x) \tanh (c+d x)}{2 a d^2}+\frac {(e+f x)^3 \text {sech}^2(c+d x) \tanh (c+d x)}{3 a d}-\frac {(4 f) \int \frac {e^{2 (c+d x)} (e+f x)^2}{1+e^{2 (c+d x)}} \, dx}{a d}-\frac {f^2 \int (e+f x) \log \left (1-i e^{c+d x}\right ) \, dx}{a d^2}+\frac {f^2 \int (e+f x) \log \left (1+i e^{c+d x}\right ) \, dx}{a d^2}\\ &=\frac {2 (e+f x)^3}{3 a d}-\frac {i f (e+f x)^2 \tan ^{-1}\left (e^{c+d x}\right )}{a d^2}+\frac {i f^3 \tan ^{-1}(\sinh (c+d x))}{a d^4}-\frac {2 f (e+f x)^2 \log \left (1+e^{2 (c+d x)}\right )}{a d^2}+\frac {f^3 \log (\cosh (c+d x))}{a d^4}-\frac {f^2 (e+f x) \text {Li}_2\left (-i e^{c+d x}\right )}{a d^3}+\frac {f^2 (e+f x) \text {Li}_2\left (i e^{c+d x}\right )}{a d^3}-\frac {i f^2 (e+f x) \text {sech}(c+d x)}{a d^3}+\frac {f (e+f x)^2 \text {sech}^2(c+d x)}{2 a d^2}+\frac {i (e+f x)^3 \text {sech}^3(c+d x)}{3 a d}-\frac {f^2 (e+f x) \tanh (c+d x)}{a d^3}+\frac {2 (e+f x)^3 \tanh (c+d x)}{3 a d}-\frac {i f (e+f x)^2 \text {sech}(c+d x) \tanh (c+d x)}{2 a d^2}+\frac {(e+f x)^3 \text {sech}^2(c+d x) \tanh (c+d x)}{3 a d}+\frac {\left (4 f^2\right ) \int (e+f x) \log \left (1+e^{2 (c+d x)}\right ) \, dx}{a d^2}+\frac {f^3 \int \text {Li}_2\left (-i e^{c+d x}\right ) \, dx}{a d^3}-\frac {f^3 \int \text {Li}_2\left (i e^{c+d x}\right ) \, dx}{a d^3}\\ &=\frac {2 (e+f x)^3}{3 a d}-\frac {i f (e+f x)^2 \tan ^{-1}\left (e^{c+d x}\right )}{a d^2}+\frac {i f^3 \tan ^{-1}(\sinh (c+d x))}{a d^4}-\frac {2 f (e+f x)^2 \log \left (1+e^{2 (c+d x)}\right )}{a d^2}+\frac {f^3 \log (\cosh (c+d x))}{a d^4}-\frac {f^2 (e+f x) \text {Li}_2\left (-i e^{c+d x}\right )}{a d^3}+\frac {f^2 (e+f x) \text {Li}_2\left (i e^{c+d x}\right )}{a d^3}-\frac {2 f^2 (e+f x) \text {Li}_2\left (-e^{2 (c+d x)}\right )}{a d^3}-\frac {i f^2 (e+f x) \text {sech}(c+d x)}{a d^3}+\frac {f (e+f x)^2 \text {sech}^2(c+d x)}{2 a d^2}+\frac {i (e+f x)^3 \text {sech}^3(c+d x)}{3 a d}-\frac {f^2 (e+f x) \tanh (c+d x)}{a d^3}+\frac {2 (e+f x)^3 \tanh (c+d x)}{3 a d}-\frac {i f (e+f x)^2 \text {sech}(c+d x) \tanh (c+d x)}{2 a d^2}+\frac {(e+f x)^3 \text {sech}^2(c+d x) \tanh (c+d x)}{3 a d}+\frac {f^3 \text {Subst}\left (\int \frac {\text {Li}_2(-i x)}{x} \, dx,x,e^{c+d x}\right )}{a d^4}-\frac {f^3 \text {Subst}\left (\int \frac {\text {Li}_2(i x)}{x} \, dx,x,e^{c+d x}\right )}{a d^4}+\frac {\left (2 f^3\right ) \int \text {Li}_2\left (-e^{2 (c+d x)}\right ) \, dx}{a d^3}\\ &=\frac {2 (e+f x)^3}{3 a d}-\frac {i f (e+f x)^2 \tan ^{-1}\left (e^{c+d x}\right )}{a d^2}+\frac {i f^3 \tan ^{-1}(\sinh (c+d x))}{a d^4}-\frac {2 f (e+f x)^2 \log \left (1+e^{2 (c+d x)}\right )}{a d^2}+\frac {f^3 \log (\cosh (c+d x))}{a d^4}-\frac {f^2 (e+f x) \text {Li}_2\left (-i e^{c+d x}\right )}{a d^3}+\frac {f^2 (e+f x) \text {Li}_2\left (i e^{c+d x}\right )}{a d^3}-\frac {2 f^2 (e+f x) \text {Li}_2\left (-e^{2 (c+d x)}\right )}{a d^3}+\frac {f^3 \text {Li}_3\left (-i e^{c+d x}\right )}{a d^4}-\frac {f^3 \text {Li}_3\left (i e^{c+d x}\right )}{a d^4}-\frac {i f^2 (e+f x) \text {sech}(c+d x)}{a d^3}+\frac {f (e+f x)^2 \text {sech}^2(c+d x)}{2 a d^2}+\frac {i (e+f x)^3 \text {sech}^3(c+d x)}{3 a d}-\frac {f^2 (e+f x) \tanh (c+d x)}{a d^3}+\frac {2 (e+f x)^3 \tanh (c+d x)}{3 a d}-\frac {i f (e+f x)^2 \text {sech}(c+d x) \tanh (c+d x)}{2 a d^2}+\frac {(e+f x)^3 \text {sech}^2(c+d x) \tanh (c+d x)}{3 a d}+\frac {f^3 \text {Subst}\left (\int \frac {\text {Li}_2(-x)}{x} \, dx,x,e^{2 (c+d x)}\right )}{a d^4}\\ &=\frac {2 (e+f x)^3}{3 a d}-\frac {i f (e+f x)^2 \tan ^{-1}\left (e^{c+d x}\right )}{a d^2}+\frac {i f^3 \tan ^{-1}(\sinh (c+d x))}{a d^4}-\frac {2 f (e+f x)^2 \log \left (1+e^{2 (c+d x)}\right )}{a d^2}+\frac {f^3 \log (\cosh (c+d x))}{a d^4}-\frac {f^2 (e+f x) \text {Li}_2\left (-i e^{c+d x}\right )}{a d^3}+\frac {f^2 (e+f x) \text {Li}_2\left (i e^{c+d x}\right )}{a d^3}-\frac {2 f^2 (e+f x) \text {Li}_2\left (-e^{2 (c+d x)}\right )}{a d^3}+\frac {f^3 \text {Li}_3\left (-i e^{c+d x}\right )}{a d^4}-\frac {f^3 \text {Li}_3\left (i e^{c+d x}\right )}{a d^4}+\frac {f^3 \text {Li}_3\left (-e^{2 (c+d x)}\right )}{a d^4}-\frac {i f^2 (e+f x) \text {sech}(c+d x)}{a d^3}+\frac {f (e+f x)^2 \text {sech}^2(c+d x)}{2 a d^2}+\frac {i (e+f x)^3 \text {sech}^3(c+d x)}{3 a d}-\frac {f^2 (e+f x) \tanh (c+d x)}{a d^3}+\frac {2 (e+f x)^3 \tanh (c+d x)}{3 a d}-\frac {i f (e+f x)^2 \text {sech}(c+d x) \tanh (c+d x)}{2 a d^2}+\frac {(e+f x)^3 \text {sech}^2(c+d x) \tanh (c+d x)}{3 a d}\\ \end {align*}
________________________________________________________________________________________
Mathematica [B] Both result and optimal contain complex but leaf count is larger than twice
the leaf count of optimal. \(1127\) vs. \(2(450)=900\).
time = 10.08, size = 1127, normalized size = 2.50 \begin {gather*} \frac {f \left (15 d^3 e^2 e^c x-12 d e^c f^2 x+15 d^3 e e^c f x^2+5 d^3 e^c f^2 x^3+15 i d^2 e^2 \log \left (i-e^{c+d x}\right )-15 d^2 e^2 e^c \log \left (i-e^{c+d x}\right )-12 i f^2 \log \left (i-e^{c+d x}\right )+12 e^c f^2 \log \left (i-e^{c+d x}\right )+30 i d^2 e f x \log \left (1+i e^{c+d x}\right )-30 d^2 e e^c f x \log \left (1+i e^{c+d x}\right )+15 i d^2 f^2 x^2 \log \left (1+i e^{c+d x}\right )-15 d^2 e^c f^2 x^2 \log \left (1+i e^{c+d x}\right )-30 d \left (-i+e^c\right ) f (e+f x) \text {PolyLog}\left (2,-i e^{c+d x}\right )+30 \left (-i+e^c\right ) f^2 \text {PolyLog}\left (3,-i e^{c+d x}\right )\right )}{6 a d^4 \left (-i+e^c\right )}-\frac {i f \left (d^2 \left (i d e^c x \left (3 e^2+3 e f x+f^2 x^2\right )+3 \left (1-i e^c\right ) (e+f x)^2 \log \left (1-i e^{c+d x}\right )\right )+6 d \left (1-i e^c\right ) f (e+f x) \text {PolyLog}\left (2,i e^{c+d x}\right )+6 i \left (i+e^c\right ) f^2 \text {PolyLog}\left (3,i e^{c+d x}\right )\right )}{2 a d^4 \left (i+e^c\right )}+\frac {e^3 \sinh \left (\frac {d x}{2}\right )+3 e^2 f x \sinh \left (\frac {d x}{2}\right )+3 e f^2 x^2 \sinh \left (\frac {d x}{2}\right )+f^3 x^3 \sinh \left (\frac {d x}{2}\right )}{2 a d \left (\cosh \left (\frac {c}{2}\right )-i \sinh \left (\frac {c}{2}\right )\right ) \left (\cosh \left (\frac {c}{2}+\frac {d x}{2}\right )-i \sinh \left (\frac {c}{2}+\frac {d x}{2}\right )\right )}+\frac {e^3 \sinh \left (\frac {d x}{2}\right )+3 e^2 f x \sinh \left (\frac {d x}{2}\right )+3 e f^2 x^2 \sinh \left (\frac {d x}{2}\right )+f^3 x^3 \sinh \left (\frac {d x}{2}\right )}{3 a d \left (\cosh \left (\frac {c}{2}\right )+i \sinh \left (\frac {c}{2}\right )\right ) \left (\cosh \left (\frac {c}{2}+\frac {d x}{2}\right )+i \sinh \left (\frac {c}{2}+\frac {d x}{2}\right )\right )^3}+\frac {i d e^3 \cosh \left (\frac {c}{2}\right )+3 e^2 f \cosh \left (\frac {c}{2}\right )+3 i d e^2 f x \cosh \left (\frac {c}{2}\right )+6 e f^2 x \cosh \left (\frac {c}{2}\right )+3 i d e f^2 x^2 \cosh \left (\frac {c}{2}\right )+3 f^3 x^2 \cosh \left (\frac {c}{2}\right )+i d f^3 x^3 \cosh \left (\frac {c}{2}\right )+d e^3 \sinh \left (\frac {c}{2}\right )+3 i e^2 f \sinh \left (\frac {c}{2}\right )+3 d e^2 f x \sinh \left (\frac {c}{2}\right )+6 i e f^2 x \sinh \left (\frac {c}{2}\right )+3 d e f^2 x^2 \sinh \left (\frac {c}{2}\right )+3 i f^3 x^2 \sinh \left (\frac {c}{2}\right )+d f^3 x^3 \sinh \left (\frac {c}{2}\right )}{6 a d^2 \left (\cosh \left (\frac {c}{2}\right )+i \sinh \left (\frac {c}{2}\right )\right ) \left (\cosh \left (\frac {c}{2}+\frac {d x}{2}\right )+i \sinh \left (\frac {c}{2}+\frac {d x}{2}\right )\right )^2}+\frac {5 d^2 e^3 \sinh \left (\frac {d x}{2}\right )-12 e f^2 \sinh \left (\frac {d x}{2}\right )+15 d^2 e^2 f x \sinh \left (\frac {d x}{2}\right )-12 f^3 x \sinh \left (\frac {d x}{2}\right )+15 d^2 e f^2 x^2 \sinh \left (\frac {d x}{2}\right )+5 d^2 f^3 x^3 \sinh \left (\frac {d x}{2}\right )}{6 a d^3 \left (\cosh \left (\frac {c}{2}\right )+i \sinh \left (\frac {c}{2}\right )\right ) \left (\cosh \left (\frac {c}{2}+\frac {d x}{2}\right )+i \sinh \left (\frac {c}{2}+\frac {d x}{2}\right )\right )} \end {gather*}
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Both result and optimal contain complex but leaf count of result is larger than twice
the leaf count of optimal. 1000 vs. \(2 (424 ) = 848\).
time = 5.18, size = 1001, normalized size = 2.22
method | result | size |
risch | \(-\frac {8 f^{2} e c \ln \left ({\mathrm e}^{d x +c}\right )}{a \,d^{3}}-\frac {5 f^{2} \ln \left (1+i {\mathrm e}^{d x +c}\right ) c e}{a \,d^{3}}+\frac {8 f^{2} c e x}{a \,d^{2}}-\frac {5 f^{3} \polylog \left (2, -i {\mathrm e}^{d x +c}\right ) x}{a \,d^{3}}-\frac {5 f^{3} c^{2} \ln \left ({\mathrm e}^{d x +c}-i\right )}{2 a \,d^{4}}-\frac {3 f^{3} c^{2} \ln \left ({\mathrm e}^{d x +c}+i\right )}{2 a \,d^{4}}+\frac {3 f^{3} \ln \left (1-i {\mathrm e}^{d x +c}\right ) c^{2}}{2 a \,d^{4}}-\frac {3 f^{3} \ln \left (1-i {\mathrm e}^{d x +c}\right ) x^{2}}{2 a \,d^{2}}-\frac {5 f^{3} \ln \left (1+i {\mathrm e}^{d x +c}\right ) x^{2}}{2 a \,d^{2}}+\frac {5 f^{3} \ln \left (1+i {\mathrm e}^{d x +c}\right ) c^{2}}{2 a \,d^{4}}-\frac {3 f \,e^{2} \ln \left ({\mathrm e}^{d x +c}+i\right )}{2 a \,d^{2}}-\frac {3 f^{2} e \polylog \left (2, i {\mathrm e}^{d x +c}\right )}{a \,d^{3}}-\frac {5 f^{2} e \polylog \left (2, -i {\mathrm e}^{d x +c}\right )}{a \,d^{3}}+\frac {3 f^{3} \polylog \left (3, i {\mathrm e}^{d x +c}\right )}{a \,d^{4}}-\frac {3 f^{2} \ln \left (1-i {\mathrm e}^{d x +c}\right ) e x}{a \,d^{2}}+\frac {3 f^{2} e c \ln \left ({\mathrm e}^{d x +c}+i\right )}{a \,d^{3}}+\frac {5 f^{2} e c \ln \left ({\mathrm e}^{d x +c}-i\right )}{a \,d^{3}}-\frac {3 f^{2} \ln \left (1-i {\mathrm e}^{d x +c}\right ) c e}{a \,d^{3}}+\frac {i \left (6 i e \,f^{2} {\mathrm e}^{2 d x +2 c}+8 d^{2} f^{3} x^{3} {\mathrm e}^{d x +c}-3 d \,f^{3} x^{2} {\mathrm e}^{3 d x +3 c}+6 i f^{3} x \,{\mathrm e}^{2 d x +2 c}+24 d^{2} e \,f^{2} x^{2} {\mathrm e}^{d x +c}-6 d e \,f^{2} x \,{\mathrm e}^{3 d x +3 c}-4 i d^{2} f^{3} x^{3}+6 i f^{2} e +24 d^{2} e^{2} f x \,{\mathrm e}^{d x +c}-3 d \,e^{2} f \,{\mathrm e}^{3 d x +3 c}-3 d \,f^{3} x^{2} {\mathrm e}^{d x +c}-6 f^{3} x \,{\mathrm e}^{3 d x +3 c}-4 i d^{2} e^{3}-12 i d^{2} e^{2} f x +8 d^{2} e^{3} {\mathrm e}^{d x +c}-6 d e \,f^{2} x \,{\mathrm e}^{d x +c}-6 e \,f^{2} {\mathrm e}^{3 d x +3 c}+6 i f^{3} x -3 d \,e^{2} f \,{\mathrm e}^{d x +c}-6 f^{3} x \,{\mathrm e}^{d x +c}-12 i d^{2} e \,f^{2} x^{2}-6 e \,f^{2} {\mathrm e}^{d x +c}\right )}{3 \left ({\mathrm e}^{d x +c}+i\right ) \left ({\mathrm e}^{d x +c}-i\right )^{3} d^{3} a}-\frac {5 f \ln \left ({\mathrm e}^{d x +c}-i\right ) e^{2}}{2 a \,d^{2}}-\frac {5 e \,f^{2} \ln \left (1+i {\mathrm e}^{d x +c}\right ) x}{d^{2} a}+\frac {4 f \,e^{2} \ln \left ({\mathrm e}^{d x +c}\right )}{a \,d^{2}}+\frac {4 f^{3} c^{2} \ln \left ({\mathrm e}^{d x +c}\right )}{a \,d^{4}}+\frac {4 f^{2} e \,x^{2}}{a d}+\frac {4 f^{2} c^{2} e}{a \,d^{3}}-\frac {3 f^{3} \polylog \left (2, i {\mathrm e}^{d x +c}\right ) x}{a \,d^{3}}-\frac {8 f^{3} c^{3}}{3 a \,d^{4}}+\frac {4 f^{3} x^{3}}{3 a d}-\frac {2 f^{3} \ln \left ({\mathrm e}^{d x +c}\right )}{a \,d^{4}}+\frac {2 f^{3} \ln \left ({\mathrm e}^{d x +c}-i\right )}{a \,d^{4}}+\frac {5 f^{3} \polylog \left (3, -i {\mathrm e}^{d x +c}\right )}{a \,d^{4}}-\frac {4 f^{3} c^{2} x}{d^{3} a}\) | \(1001\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.51, size = 749, normalized size = 1.66 \begin {gather*} \frac {1}{2} \, f {\left (\frac {24 \, {\left (4 i \, d x e^{\left (4 \, d x + 4 \, c\right )} + {\left (8 \, d x e^{\left (3 \, c\right )} + e^{\left (3 \, c\right )}\right )} e^{\left (3 \, d x\right )} + e^{\left (d x + c\right )}\right )}}{12 i \, a d^{2} e^{\left (4 \, d x + 4 \, c\right )} + 24 \, a d^{2} e^{\left (3 \, d x + 3 \, c\right )} + 24 \, a d^{2} e^{\left (d x + c\right )} - 12 i \, a d^{2}} - \frac {3 \, \log \left ({\left (e^{\left (d x + c\right )} + i\right )} e^{\left (-c\right )}\right )}{a d^{2}} - \frac {5 \, \log \left (-i \, {\left (i \, e^{\left (d x + c\right )} + 1\right )} e^{\left (-c\right )}\right )}{a d^{2}}\right )} e^{2} + \frac {4}{3} \, {\left (\frac {2 \, e^{\left (-d x - c\right )}}{{\left (2 \, a e^{\left (-d x - c\right )} + 2 \, a e^{\left (-3 \, d x - 3 \, c\right )} - i \, a e^{\left (-4 \, d x - 4 \, c\right )} + i \, a\right )} d} + \frac {i}{{\left (2 \, a e^{\left (-d x - c\right )} + 2 \, a e^{\left (-3 \, d x - 3 \, c\right )} - i \, a e^{\left (-4 \, d x - 4 \, c\right )} + i \, a\right )} d}\right )} e^{3} + \frac {4 i \, d^{2} f^{3} x^{3} + 12 i \, d^{2} f^{2} x^{2} e - 6 i \, f^{3} x - 6 i \, f^{2} e + 3 \, {\left (d f^{3} x^{2} e^{\left (3 \, c\right )} + 2 \, f^{2} e^{\left (3 \, c + 1\right )} + 2 \, {\left (f^{3} e^{\left (3 \, c\right )} + d f^{2} e^{\left (3 \, c + 1\right )}\right )} x\right )} e^{\left (3 \, d x\right )} - 6 \, {\left (i \, f^{3} x e^{\left (2 \, c\right )} + i \, f^{2} e^{\left (2 \, c + 1\right )}\right )} e^{\left (2 \, d x\right )} - {\left (8 \, d^{2} f^{3} x^{3} e^{c} + 3 \, {\left (8 \, d^{2} f^{2} e^{\left (c + 1\right )} - d f^{3} e^{c}\right )} x^{2} - 6 \, f^{2} e^{\left (c + 1\right )} - 6 \, {\left (d f^{2} e^{\left (c + 1\right )} + f^{3} e^{c}\right )} x\right )} e^{\left (d x\right )}}{3 i \, a d^{3} e^{\left (4 \, d x + 4 \, c\right )} + 6 \, a d^{3} e^{\left (3 \, d x + 3 \, c\right )} + 6 \, a d^{3} e^{\left (d x + c\right )} - 3 i \, a d^{3}} - \frac {2 \, f^{3} x}{a d^{3}} - \frac {5 \, {\left (d x \log \left (i \, e^{\left (d x + c\right )} + 1\right ) + {\rm Li}_2\left (-i \, e^{\left (d x + c\right )}\right )\right )} f^{2} e}{a d^{3}} - \frac {3 \, {\left (d x \log \left (-i \, e^{\left (d x + c\right )} + 1\right ) + {\rm Li}_2\left (i \, e^{\left (d x + c\right )}\right )\right )} f^{2} e}{a d^{3}} - \frac {5 \, {\left (d^{2} x^{2} \log \left (i \, e^{\left (d x + c\right )} + 1\right ) + 2 \, d x {\rm Li}_2\left (-i \, e^{\left (d x + c\right )}\right ) - 2 \, {\rm Li}_{3}(-i \, e^{\left (d x + c\right )})\right )} f^{3}}{2 \, a d^{4}} - \frac {3 \, {\left (d^{2} x^{2} \log \left (-i \, e^{\left (d x + c\right )} + 1\right ) + 2 \, d x {\rm Li}_2\left (i \, e^{\left (d x + c\right )}\right ) - 2 \, {\rm Li}_{3}(i \, e^{\left (d x + c\right )})\right )} f^{3}}{2 \, a d^{4}} + \frac {2 \, f^{3} \log \left (e^{\left (d x + c\right )} - i\right )}{a d^{4}} + \frac {4 \, {\left (d^{3} f^{3} x^{3} + 3 \, d^{3} f^{2} x^{2} e\right )}}{3 \, a d^{4}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Both result and optimal contain complex but leaf count of result is larger than twice
the leaf count of optimal. 1424 vs. \(2 (425) = 850\).
time = 0.37, size = 1424, normalized size = 3.16 \begin {gather*} -\frac {24 \, c d^{2} f e^{2} - 12 \, {\left (2 \, c^{2} - 1\right )} d f^{2} e + 4 \, {\left (2 \, c^{3} - 3 \, c\right )} f^{3} - 8 \, d^{3} e^{3} - 18 \, {\left (d f^{3} x + d f^{2} e - {\left (d f^{3} x + d f^{2} e\right )} e^{\left (4 \, d x + 4 \, c\right )} - 2 \, {\left (-i \, d f^{3} x - i \, d f^{2} e\right )} e^{\left (3 \, d x + 3 \, c\right )} - 2 \, {\left (-i \, d f^{3} x - i \, d f^{2} e\right )} e^{\left (d x + c\right )}\right )} {\rm Li}_2\left (i \, e^{\left (d x + c\right )}\right ) - 30 \, {\left (d f^{3} x + d f^{2} e - {\left (d f^{3} x + d f^{2} e\right )} e^{\left (4 \, d x + 4 \, c\right )} - 2 \, {\left (-i \, d f^{3} x - i \, d f^{2} e\right )} e^{\left (3 \, d x + 3 \, c\right )} - 2 \, {\left (-i \, d f^{3} x - i \, d f^{2} e\right )} e^{\left (d x + c\right )}\right )} {\rm Li}_2\left (-i \, e^{\left (d x + c\right )}\right ) - 4 \, {\left (2 \, d^{3} f^{3} x^{3} - 3 \, d f^{3} x + {\left (2 \, c^{3} - 3 \, c\right )} f^{3} + 6 \, {\left (d^{3} f x + c d^{2} f\right )} e^{2} + 6 \, {\left (d^{3} f^{2} x^{2} - c^{2} d f^{2}\right )} e\right )} e^{\left (4 \, d x + 4 \, c\right )} + 2 \, {\left (8 i \, d^{3} f^{3} x^{3} + 3 i \, d^{2} f^{3} x^{2} - 6 i \, d f^{3} x + 4 \, {\left (2 i \, c^{3} - 3 i \, c\right )} f^{3} + 3 \, {\left (8 i \, d^{3} f x + {\left (8 i \, c + i\right )} d^{2} f\right )} e^{2} + 6 \, {\left (4 i \, d^{3} f^{2} x^{2} + i \, d^{2} f^{2} x + {\left (-4 i \, c^{2} + i\right )} d f^{2}\right )} e\right )} e^{\left (3 \, d x + 3 \, c\right )} + 12 \, {\left (d f^{3} x + d f^{2} e\right )} e^{\left (2 \, d x + 2 \, c\right )} + 2 \, {\left (3 i \, d^{2} f^{3} x^{2} - 6 i \, d f^{3} x + 3 \, {\left (8 i \, c + i\right )} d^{2} f e^{2} + 4 \, {\left (2 i \, c^{3} - 3 i \, c\right )} f^{3} - 8 i \, d^{3} e^{3} + 6 \, {\left (i \, d^{2} f^{2} x + {\left (-4 i \, c^{2} + i\right )} d f^{2}\right )} e\right )} e^{\left (d x + c\right )} - 9 \, {\left (c^{2} f^{3} - 2 \, c d f^{2} e + d^{2} f e^{2} - {\left (c^{2} f^{3} - 2 \, c d f^{2} e + d^{2} f e^{2}\right )} e^{\left (4 \, d x + 4 \, c\right )} - 2 \, {\left (-i \, c^{2} f^{3} + 2 i \, c d f^{2} e - i \, d^{2} f e^{2}\right )} e^{\left (3 \, d x + 3 \, c\right )} - 2 \, {\left (-i \, c^{2} f^{3} + 2 i \, c d f^{2} e - i \, d^{2} f e^{2}\right )} e^{\left (d x + c\right )}\right )} \log \left (e^{\left (d x + c\right )} + i\right ) + 3 \, {\left (10 \, c d f^{2} e - {\left (5 \, c^{2} - 4\right )} f^{3} - 5 \, d^{2} f e^{2} - {\left (10 \, c d f^{2} e - {\left (5 \, c^{2} - 4\right )} f^{3} - 5 \, d^{2} f e^{2}\right )} e^{\left (4 \, d x + 4 \, c\right )} + 2 \, {\left (10 i \, c d f^{2} e + {\left (-5 i \, c^{2} + 4 i\right )} f^{3} - 5 i \, d^{2} f e^{2}\right )} e^{\left (3 \, d x + 3 \, c\right )} + 2 \, {\left (10 i \, c d f^{2} e + {\left (-5 i \, c^{2} + 4 i\right )} f^{3} - 5 i \, d^{2} f e^{2}\right )} e^{\left (d x + c\right )}\right )} \log \left (e^{\left (d x + c\right )} - i\right ) - 15 \, {\left (d^{2} f^{3} x^{2} - c^{2} f^{3} + 2 \, {\left (d^{2} f^{2} x + c d f^{2}\right )} e - {\left (d^{2} f^{3} x^{2} - c^{2} f^{3} + 2 \, {\left (d^{2} f^{2} x + c d f^{2}\right )} e\right )} e^{\left (4 \, d x + 4 \, c\right )} - 2 \, {\left (-i \, d^{2} f^{3} x^{2} + i \, c^{2} f^{3} + 2 \, {\left (-i \, d^{2} f^{2} x - i \, c d f^{2}\right )} e\right )} e^{\left (3 \, d x + 3 \, c\right )} - 2 \, {\left (-i \, d^{2} f^{3} x^{2} + i \, c^{2} f^{3} + 2 \, {\left (-i \, d^{2} f^{2} x - i \, c d f^{2}\right )} e\right )} e^{\left (d x + c\right )}\right )} \log \left (i \, e^{\left (d x + c\right )} + 1\right ) - 9 \, {\left (d^{2} f^{3} x^{2} - c^{2} f^{3} + 2 \, {\left (d^{2} f^{2} x + c d f^{2}\right )} e - {\left (d^{2} f^{3} x^{2} - c^{2} f^{3} + 2 \, {\left (d^{2} f^{2} x + c d f^{2}\right )} e\right )} e^{\left (4 \, d x + 4 \, c\right )} - 2 \, {\left (-i \, d^{2} f^{3} x^{2} + i \, c^{2} f^{3} + 2 \, {\left (-i \, d^{2} f^{2} x - i \, c d f^{2}\right )} e\right )} e^{\left (3 \, d x + 3 \, c\right )} - 2 \, {\left (-i \, d^{2} f^{3} x^{2} + i \, c^{2} f^{3} + 2 \, {\left (-i \, d^{2} f^{2} x - i \, c d f^{2}\right )} e\right )} e^{\left (d x + c\right )}\right )} \log \left (-i \, e^{\left (d x + c\right )} + 1\right ) - 18 \, {\left (f^{3} e^{\left (4 \, d x + 4 \, c\right )} - 2 i \, f^{3} e^{\left (3 \, d x + 3 \, c\right )} - 2 i \, f^{3} e^{\left (d x + c\right )} - f^{3}\right )} {\rm polylog}\left (3, i \, e^{\left (d x + c\right )}\right ) - 30 \, {\left (f^{3} e^{\left (4 \, d x + 4 \, c\right )} - 2 i \, f^{3} e^{\left (3 \, d x + 3 \, c\right )} - 2 i \, f^{3} e^{\left (d x + c\right )} - f^{3}\right )} {\rm polylog}\left (3, -i \, e^{\left (d x + c\right )}\right )}{6 \, {\left (a d^{4} e^{\left (4 \, d x + 4 \, c\right )} - 2 i \, a d^{4} e^{\left (3 \, d x + 3 \, c\right )} - 2 i \, a d^{4} e^{\left (d x + c\right )} - a d^{4}\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} - \frac {i \left (\int \frac {e^{3} \operatorname {sech}^{2}{\left (c + d x \right )}}{\sinh {\left (c + d x \right )} - i}\, dx + \int \frac {f^{3} x^{3} \operatorname {sech}^{2}{\left (c + d x \right )}}{\sinh {\left (c + d x \right )} - i}\, dx + \int \frac {3 e f^{2} x^{2} \operatorname {sech}^{2}{\left (c + d x \right )}}{\sinh {\left (c + d x \right )} - i}\, dx + \int \frac {3 e^{2} f x \operatorname {sech}^{2}{\left (c + d x \right )}}{\sinh {\left (c + d x \right )} - i}\, dx\right )}{a} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int \frac {{\left (e+f\,x\right )}^3}{{\mathrm {cosh}\left (c+d\,x\right )}^2\,\left (a+a\,\mathrm {sinh}\left (c+d\,x\right )\,1{}\mathrm {i}\right )} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________